[
    {
        "ArchStdEvent": "LDREX_SPEC",
    },
    {
        "ArchStdEvent": "STREX_PASS_SPEC",
    },
    {
        "ArchStdEvent": "STREX_FAIL_SPEC",
    },
    {
        "ArchStdEvent": "STREX_SPEC",
    },
]
